d | ρ | Label | ID | ||
---|---|---|---|---|---|
C2xD5xC4:C4 | 160 | C2xD5xC4:C4 | 320,1173 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
D5:(C2xC4:C4) = C22xC4:F5 | φ: C2xC4:C4/C22xC4 → C2 ⊆ Out D5 | 80 | D5:(C2xC4:C4) | 320,1591 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
D5.1(C2xC4:C4) = C4:C4xF5 | φ: C2xC4:C4/C4:C4 → C2 ⊆ Out D5 | 80 | D5.1(C2xC4:C4) | 320,1048 | |
D5.2(C2xC4:C4) = C2xD10.3Q8 | φ: C2xC4:C4/C22xC4 → C2 ⊆ Out D5 | 80 | D5.2(C2xC4:C4) | 320,1100 |