d | ρ | Label | ID | ||
---|---|---|---|---|---|
C2xC25:D5 | 250 | C2xC25:D5 | 500,32 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C25:D5:C2 = D5xD25 | φ: C2/C1 → C2 ⊆ Out C25:D5 | 50 | 4+ | C25:D5:C2 | 500,26 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C25:D5.1C2 = C25:F5 | φ: C2/C1 → C2 ⊆ Out C25:D5 | 125 | C25:D5.1C2 | 500,22 | |
C25:D5.2C2 = C25:2F5 | φ: C2/C1 → C2 ⊆ Out C25:D5 | 50 | 4+ | C25:D5.2C2 | 500,24 |