d | ρ | Label | ID | ||
---|---|---|---|---|---|
C10xD20 | 80 | C10xD20 | 400,183 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
D20:1C10 = C5xD40 | φ: C10/C5 → C2 ⊆ Out D20 | 80 | 2 | D20:1C10 | 400,79 |
D20:2C10 = C5xD4:D5 | φ: C10/C5 → C2 ⊆ Out D20 | 40 | 4 | D20:2C10 | 400,87 |
D20:3C10 = C5xD4xD5 | φ: C10/C5 → C2 ⊆ Out D20 | 40 | 4 | D20:3C10 | 400,185 |
D20:4C10 = C5xQ8:2D5 | φ: C10/C5 → C2 ⊆ Out D20 | 80 | 4 | D20:4C10 | 400,188 |
D20:5C10 = C5xC4oD20 | φ: trivial image | 40 | 2 | D20:5C10 | 400,184 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
D20.1C10 = C5xC40:C2 | φ: C10/C5 → C2 ⊆ Out D20 | 80 | 2 | D20.1C10 | 400,78 |
D20.2C10 = C5xQ8:D5 | φ: C10/C5 → C2 ⊆ Out D20 | 80 | 4 | D20.2C10 | 400,89 |