d | ρ | Label | ID | ||
---|---|---|---|---|---|
C10xC3:C16 | 480 | C10xC3:C16 | 480,130 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C3:C16:1C10 = C5xC3:D16 | φ: C10/C5 → C2 ⊆ Out C3:C16 | 240 | 4 | C3:C16:1C10 | 480,145 |
C3:C16:2C10 = C5xD8.S3 | φ: C10/C5 → C2 ⊆ Out C3:C16 | 240 | 4 | C3:C16:2C10 | 480,146 |
C3:C16:3C10 = C5xC8.6D6 | φ: C10/C5 → C2 ⊆ Out C3:C16 | 240 | 4 | C3:C16:3C10 | 480,147 |
C3:C16:4C10 = C5xD6.C8 | φ: C10/C5 → C2 ⊆ Out C3:C16 | 240 | 2 | C3:C16:4C10 | 480,117 |
C3:C16:5C10 = C5xC12.C8 | φ: C10/C5 → C2 ⊆ Out C3:C16 | 240 | 2 | C3:C16:5C10 | 480,131 |
C3:C16:6C10 = S3xC80 | φ: trivial image | 240 | 2 | C3:C16:6C10 | 480,116 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C3:C16.C10 = C5xC3:Q32 | φ: C10/C5 → C2 ⊆ Out C3:C16 | 480 | 4 | C3:C16.C10 | 480,148 |