d | ρ | Label | ID | ||
---|---|---|---|---|---|
Q8xC5xC10 | 400 | Q8xC5xC10 | 400,203 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
Q8:(C5xC10) = SD16xC52 | φ: C5xC10/C52 → C2 ⊆ Out Q8 | 200 | Q8:(C5xC10) | 400,114 | |
Q8:2(C5xC10) = C4oD4xC52 | φ: trivial image | 200 | Q8:2(C5xC10) | 400,204 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
Q8.(C5xC10) = Q16xC52 | φ: C5xC10/C52 → C2 ⊆ Out Q8 | 400 | Q8.(C5xC10) | 400,115 |