d | ρ | Label | ID | ||
---|---|---|---|---|---|
C12xD20 | 240 | C12xD20 | 480,666 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
D20:1C12 = C3xD20:C4 | φ: C12/C3 → C4 ⊆ Out D20 | 120 | 8 | D20:1C12 | 480,287 |
D20:2C12 = C3xQ8:2F5 | φ: C12/C3 → C4 ⊆ Out D20 | 120 | 8 | D20:2C12 | 480,290 |
D20:3C12 = C3xD4xF5 | φ: C12/C3 → C4 ⊆ Out D20 | 60 | 8 | D20:3C12 | 480,1054 |
D20:4C12 = C3xD20:4C4 | φ: C12/C6 → C2 ⊆ Out D20 | 120 | 2 | D20:4C12 | 480,83 |
D20:5C12 = C3xD20:5C4 | φ: C12/C6 → C2 ⊆ Out D20 | 240 | D20:5C12 | 480,99 | |
D20:6C12 = C3xD20:6C4 | φ: C12/C6 → C2 ⊆ Out D20 | 240 | D20:6C12 | 480,87 | |
D20:7C12 = C3xD20:7C4 | φ: C12/C6 → C2 ⊆ Out D20 | 120 | 4 | D20:7C12 | 480,103 |
D20:8C12 = C3xD20:8C4 | φ: C12/C6 → C2 ⊆ Out D20 | 240 | D20:8C12 | 480,686 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
D20.C12 = C3xQ8.F5 | φ: C12/C3 → C4 ⊆ Out D20 | 240 | 8 | D20.C12 | 480,1055 |
D20.2C12 = C3xD20.2C4 | φ: C12/C6 → C2 ⊆ Out D20 | 240 | 4 | D20.2C12 | 480,700 |
D20.3C12 = C3xD20.3C4 | φ: trivial image | 240 | 2 | D20.3C12 | 480,694 |