d | ρ | Label | ID | ||
---|---|---|---|---|---|
C18xD13 | 234 | 2 | C18xD13 | 468,15 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C9xD13):C2 = D9xD13 | φ: C2/C1 → C2 ⊆ Out C9xD13 | 117 | 4+ | (C9xD13):C2 | 468,11 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C9xD13).1C2 = C13:Dic9 | φ: C2/C1 → C2 ⊆ Out C9xD13 | 117 | 4 | (C9xD13).1C2 | 468,10 |
(C9xD13).2C2 = C9xC13:C4 | φ: C2/C1 → C2 ⊆ Out C9xD13 | 117 | 4 | (C9xD13).2C2 | 468,9 |