d | ρ | Label | ID | ||
---|---|---|---|---|---|
C32xC13:C3 | 117 | C3^2xC13:C3 | 351,13 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C3xC13:C3):C3 = C13:He3 | φ: C3/C1 → C3 ⊆ Out C3xC13:C3 | 117 | 3 | (C3xC13:C3):C3 | 351,8 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C3xC13:C3).1C3 = C117:C3 | φ: C3/C1 → C3 ⊆ Out C3xC13:C3 | 117 | 3 | (C3xC13:C3).1C3 | 351,4 |
(C3xC13:C3).2C3 = C117:3C3 | φ: C3/C1 → C3 ⊆ Out C3xC13:C3 | 117 | 3 | (C3xC13:C3).2C3 | 351,5 |
(C3xC13:C3).3C3 = C9xC13:C3 | φ: trivial image | 117 | 3 | (C3xC13:C3).3C3 | 351,3 |