d | ρ | Label | ID | ||
---|---|---|---|---|---|
Q16xC20 | 320 | Q16xC20 | 320,940 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
Q16:1C20 = C5xC2.Q32 | φ: C20/C10 → C2 ⊆ Out Q16 | 320 | Q16:1C20 | 320,163 | |
Q16:2C20 = C5xD8:2C4 | φ: C20/C10 → C2 ⊆ Out Q16 | 80 | 4 | Q16:2C20 | 320,165 |
Q16:3C20 = C5xQ16:C4 | φ: C20/C10 → C2 ⊆ Out Q16 | 320 | Q16:3C20 | 320,942 | |
Q16:4C20 = C5xC8.26D4 | φ: C20/C10 → C2 ⊆ Out Q16 | 80 | 4 | Q16:4C20 | 320,945 |
Q16:5C20 = C5xC8oD8 | φ: trivial image | 80 | 2 | Q16:5C20 | 320,944 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
Q16.1C20 = C5xD8.C4 | φ: C20/C10 → C2 ⊆ Out Q16 | 160 | 2 | Q16.1C20 | 320,164 |
Q16.2C20 = C5xC8.17D4 | φ: C20/C10 → C2 ⊆ Out Q16 | 160 | 4 | Q16.2C20 | 320,167 |