d | ρ | Label | ID | ||
---|---|---|---|---|---|
C10xD13 | 130 | 2 | C10xD13 | 260,12 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C5xD13):C2 = D5xD13 | φ: C2/C1 → C2 ⊆ Out C5xD13 | 65 | 4+ | (C5xD13):C2 | 260,11 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C5xD13).1C2 = C65:C4 | φ: C2/C1 → C2 ⊆ Out C5xD13 | 65 | 4 | (C5xD13).1C2 | 260,6 |
(C5xD13).2C2 = C5xC13:C4 | φ: C2/C1 → C2 ⊆ Out C5xD13 | 65 | 4 | (C5xD13).2C2 | 260,5 |