d | ρ | Label | ID | ||
---|---|---|---|---|---|
Q8xC30 | 240 | Q8xC30 | 240,187 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C3xQ8):1C10 = C5xQ8:2S3 | φ: C10/C5 → C2 ⊆ Out C3xQ8 | 120 | 4 | (C3xQ8):1C10 | 240,62 |
(C3xQ8):2C10 = C5xS3xQ8 | φ: C10/C5 → C2 ⊆ Out C3xQ8 | 120 | 4 | (C3xQ8):2C10 | 240,171 |
(C3xQ8):3C10 = C5xQ8:3S3 | φ: C10/C5 → C2 ⊆ Out C3xQ8 | 120 | 4 | (C3xQ8):3C10 | 240,172 |
(C3xQ8):4C10 = C15xSD16 | φ: C10/C5 → C2 ⊆ Out C3xQ8 | 120 | 2 | (C3xQ8):4C10 | 240,87 |
(C3xQ8):5C10 = C15xC4oD4 | φ: trivial image | 120 | 2 | (C3xQ8):5C10 | 240,188 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C3xQ8).1C10 = C5xC3:Q16 | φ: C10/C5 → C2 ⊆ Out C3xQ8 | 240 | 4 | (C3xQ8).1C10 | 240,63 |
(C3xQ8).2C10 = C15xQ16 | φ: C10/C5 → C2 ⊆ Out C3xQ8 | 240 | 2 | (C3xQ8).2C10 | 240,88 |