d | ρ | Label | ID | ||
---|---|---|---|---|---|
C10xC5:C8 | 80 | C10xC5:C8 | 400,139 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C5:C8:1C10 = C5xC4.F5 | φ: C10/C5 → C2 ⊆ Out C5:C8 | 80 | 4 | C5:C8:1C10 | 400,136 |
C5:C8:2C10 = C5xC22.F5 | φ: C10/C5 → C2 ⊆ Out C5:C8 | 40 | 4 | C5:C8:2C10 | 400,140 |
C5:C8:3C10 = C5xD5:C8 | φ: trivial image | 80 | 4 | C5:C8:3C10 | 400,135 |