d | ρ | Label | ID | ||
---|---|---|---|---|---|
C4xC5:D4 | 80 | C4xC5:D4 | 160,149 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C5:D4:C4 = D4xF5 | φ: C4/C1 → C4 ⊆ Out C5:D4 | 20 | 8+ | C5:D4:C4 | 160,207 |
C5:D4:2C4 = Dic5:4D4 | φ: C4/C2 → C2 ⊆ Out C5:D4 | 80 | C5:D4:2C4 | 160,102 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C5:D4.C4 = D4.F5 | φ: C4/C1 → C4 ⊆ Out C5:D4 | 80 | 8- | C5:D4.C4 | 160,206 |
C5:D4.2C4 = D20.2C4 | φ: C4/C2 → C2 ⊆ Out C5:D4 | 80 | 4 | C5:D4.2C4 | 160,128 |
C5:D4.3C4 = D20.3C4 | φ: trivial image | 80 | 2 | C5:D4.3C4 | 160,122 |