d | ρ | Label | ID | ||
---|---|---|---|---|---|
C10xDic10 | 80 | C10xDic10 | 400,181 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
Dic10:1C10 = C5xC40:C2 | φ: C10/C5 → C2 ⊆ Out Dic10 | 80 | 2 | Dic10:1C10 | 400,78 |
Dic10:2C10 = C5xD4.D5 | φ: C10/C5 → C2 ⊆ Out Dic10 | 40 | 4 | Dic10:2C10 | 400,88 |
Dic10:3C10 = C5xD4:2D5 | φ: C10/C5 → C2 ⊆ Out Dic10 | 40 | 4 | Dic10:3C10 | 400,186 |
Dic10:4C10 = C5xQ8xD5 | φ: C10/C5 → C2 ⊆ Out Dic10 | 80 | 4 | Dic10:4C10 | 400,187 |
Dic10:5C10 = C5xC4oD20 | φ: trivial image | 40 | 2 | Dic10:5C10 | 400,184 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
Dic10.1C10 = C5xDic20 | φ: C10/C5 → C2 ⊆ Out Dic10 | 80 | 2 | Dic10.1C10 | 400,80 |
Dic10.2C10 = C5xC5:Q16 | φ: C10/C5 → C2 ⊆ Out Dic10 | 80 | 4 | Dic10.2C10 | 400,90 |